Linear Free Divisors and the Global Logarithmic Comparison Theorem
نویسندگان
چکیده
A complex hypersurface D in Cn is a linear free divisor (LFD) if its module of logarithmic vector elds has a global basis of linear vector elds. We classify all LFDs for n at most 4. By analogy with Grothendieck's comparison theorem, we say that the global logarithmic comparison theorem (GLCT) holds for D if the complex of global logarithmic di erential forms computes the complex cohomology of Cn \ D. We develop a general criterion for the GLCT for LFDs and prove that it is ful lled whenever the Lie algebra of linear logarithmic vector elds is reductive. For n at most 4, we show that the GLCT holds for all LFDs. We show that LFDs arising naturally as discriminants in quiver representation spaces (of real Schur roots) ful ll the GLCT. As a by-product we obtain a topological proof of a theorem of V. Kac on the number of irreducible components of such discriminants. Diviseurs linéairement libres et le théorème de comparaison logarithmique global
منابع مشابه
ar X iv : m at h / 06 07 04 5 v 3 [ m at h . A G ] 3 0 Ju l 2 00 7 LINEAR FREE DIVISORS
A hypersurface D in C n is a linear free divisor if the module of logarithmic vector fields along D has a basis of global linear vector fields. It is then defined by a homogeneous polynomial of degree n and its complement is an open orbit of an algebraic subgroup G D of Gln(C) whose Lie algebra g D can be identified with that of linear logarithmic vector fields along D. We classify all linear f...
متن کاملLinear Free Divisors
A free divisor D in C is linear if its module of logarithmic vector fields has a basis of global vector fields of degree 0. It is then defined by a homogeneous polynomial of degree n and its complement is an open orbit of an algebraic subgroup GD in Gln(C). The best known example is the normal crossing divisor. Many other such divisors arise, for instance, from quiver representations. We give a...
متن کاملON b-FUNCTIONS OF LINEAR FREE DIVISORS
We describe b-functions of linear free divisors and use these results to prove that the logarithmic comparison theorem holds for Koszul free reductive linear free divisors exactly if they are (strongly) Euler homogeneous.
متن کاملLogarithmic Comparison Theorem and Some Euler Homogeneous Free Divisors
Let D, x be a free divisor germ in a complex manifold X of dimension n > 2. It is an open problem to find out which are the properties required for D, x to satisfy the so-called Logarithmic Comparison Theorem (LCT), that is, when the complex of logarithmic differential forms computes the cohomology of the complement of D, x. We give a family of Euler homogeneous free divisors which, somewhat un...
متن کاملFree Divisors in Prehomogeneous Vector Spaces
We study linear free divisors, that is, free divisors arising as discriminants in prehomogeneous vector spaces, and in particular in quiver representation spaces. We give a characterization of the prehomogeneous vector spaces containing such linear free divisors. For reductive linear free divisors, we prove that the numbers of geometric and representation theoretic irreducible components coinci...
متن کامل